Новая философская энциклопедия - шейнфинкель моисей ильич
Связанные словари
Шейнфинкель моисей ильич
шейнфинкель моисей ильич
(1887, Одесса1942, Москва) — математик и логик, ученик С. О. Шатуновского (1859—1929), в 20-х гг. стажировался в Гётгингене. Его доклад «Об основных понятиях математической логики» (7 декабря 1920, Математическое общество, Гёттинген), опубликованный в 1924 (в обработке Бемана), положил начало исследованиям Карри и Чёрча в основаниях математики (см. Комбинаторная логика). Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных (содержащих единственную связку «э») формул. Соч.: Uber die Bansteine der Mathematischen Logik.— «Mathematischen Annal», 1924, Bd. 92; Zum Entscheidungsproblem der Mathematischen Logik.— «Mathematischen Annal», 1928, Bd. 99, N 3 (совместно с П. Бернайсом). Лит.: Яновская С. А. Основания математики и математическая логика. — В кн.: Математика в СССР за тридцать лет. 1917—1947. М., 1948.
3. А. Кузичева, А. С. Кузичев
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1766 | |
4 | 1758 | |
5 | 1672 | |
6 | 1610 | |
7 | 1523 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1442 | |
13 | 1420 | |
14 | 1416 | |
15 | 1317 | |
16 | 1290 | |
17 | 1276 | |
18 | 1270 | |
19 | 1262 | |
20 | 1244 |